The introduction and elimination rules for material implication in natural deduction are not complete with respect to the implicational fragment of classical logic. A natural way to complete the system is through the addition of a new natural deduction rule corresponding to Peirce's formula → A) → A). E. Zimmermann [6] has shown how to extend Prawitz' normalization strategy to Peirce's rule: applications of Peirce's rule can be restricted to atomic conclusions. The aim of the present paper is to extend (...) Seldin's normalization strategy to Peirce's rule by showing that every derivation Π in the implicational fragment can be transformed into a derivation Π' such that no application of Peirce's rule in Π' occurs above applications of →-introduction and →-elimination. As a corollary of Seldin's normalization strategy we obtain a form of Glivenko's theorem for the classical {→}-fragment. (shrink)

Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...) logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed. (shrink)

This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which ex falso quodlibet holds, how to convert it into a logic not satisfying this principle? We use a framework provided by category theory in order to define a category of consequence structures. Then, we propose a functor to transform a logic not able to deal with contradictions into a paraconsistent one. Moreover, (...) we study the case of paraconsistentization of propositional classical logic. (shrink)

Departing from basic concepts in abstract logics, this paper introduces two concepts: conjunctive and disjunctive limits. These notions are used to formalize levels of modal operators.

This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate mainly the case of three-valued systems exhibiting how non-explosive three-valued logics can be obtained from them.

This paper analyzes the problem of implication and attempts to characterize conditionals by a criterion of adequacy. A definition of implication based on the notion of limit of an infinite sequence is proposed.

L'A. se base sur deux oeuvres artistiques sur la Trinité qui se correspondent et qui soulèvent des questions sérieuses au sujet de la négociation chrétienne avec les autres religions. Ces deux oeuvres traitent de la Trinité en relation avec les autres traditions religieuses. Il s'agit de l'icône intitulée la Trinité de l'orthodoxe russe André Roublev qui date du 15siècle et de l'oeuvre contemporaine de l'artiste indien catholique romain Jyoti Sahi intitulée Abraham et Sarah recevant les trois anges. Par cette étude (...) comparative, l'A. souligne la richesse du Dieu trinitaire dans l'ouverture à la multiplicité des représentations du mystère infini. Ces représentations, visibles dans les créations, sont parfois le fruit de l'imagination des artistes et des théologiens, imagination qui est nécessaire. (shrink)

Physical activity and sedentary behaviour have been linked to the mental health of children and adolescents, yet the timing of behaviours may play a role in this relationship and clarifying this could inform interventions. We explored cross-sectional associations of PA and SED in varying time segments throughout the school day with the mental health of school-aged children and adolescents from rural Northeastern Ontario, Canada. A total of 161 students wore accelerometers for 8 days and completed a self-report survey. Mental health (...) was measured using the Strengths and Difficulties Questionnaire. Accelerometer-measured SED, light PA, and moderate and vigorous PA were estimated in the time-segments before school, school time, after school, and evenings. Associations were tested with multilevel linear regressions while adjusting for confounding factors. Students spent 72.6 min in MVPA, 209.0 min in LPA, and 621.0 min in SED per day. Daily SED was associated with less conduct problems. Evening LPA was inversely associated with hyperactivity, while SED was associated with hyperactivity and with peer problems before school, and during school. No associations were observed for MVPA, emotional symptoms, or prosocial behaviour. In conclusion, displacing SED with LPA in some specific periods of the day may benefit the mental health of students; taking this into account could strengthen interventions. (shrink)

This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent’s goals play a role in the choice of (possibly) one of (...) the several available revision options. Properties of the new belief revision mechanism are also investigated. (shrink)

Monetary intelligence theory asserts that individuals apply their money attitude to frame critical concerns in the context and strategically select certain options to achieve financial goals and ultimate happiness. This study explores the dark side of monetary Intelligence and behavioral economics—dishonesty. Dishonesty, a risky prospect, involves cost–benefit analysis of self-interest. We frame good or bad barrels in the environmental context as a proxy of high or low probability of getting caught for dishonesty, respectively. We theorize: The magnitude and intensity of (...) the relationship between love of money and dishonest prospect may reveal how individuals frame dishonesty in the context of two levels of subjective norm—perceived corporate ethical values at the micro-level and Corruption Perceptions Index at the macro-level, collected from multiple sources. Based on 6382 managers in 31 geopolitical entities across six continents, our cross-level three-way interaction effect illustrates: As expected, managers in good barrels, mixed barrels, and bad barrels display low, medium, and high magnitude of dishonesty, respectively. With high CEV, the intensity is the same across cultures. With low CEV, the intensity of dishonesty is the highest in high CPI entities —the Enron Effect, but the lowest in low CPI entities. CPI has a strong impact on the magnitude of dishonesty, whereas CEV has a strong impact on the intensity of dishonesty. We demonstrate dishonesty in light of monetary values and two frames of social norm, revealing critical implications to the field of behavioral economics and business ethics. (shrink)

Monetary Intelligence theory asserts that individuals apply their money attitude to frame critical concerns in the context and strategically select certain options to achieve financial goals and ultimate happiness. This study explores the bright side of Monetary Intelligence and behavioral economics, frames money attitude in the context of pay and life satisfaction, and controls money at the macro-level and micro-level. We theorize: Managers with low love of money motive but high stewardship behavior will have high subjective well-being: pay satisfaction and (...) quality of life. Data collected from 6586 managers in 32 cultures across six continents support our theory. Interestingly, GDP per capita is related to life satisfaction, but not to pay satisfaction. Individual income is related to both life and pay satisfaction. Neither GDP nor income is related to Happiness. Our theoretical model across three GDP groups offers new discoveries: In high GDP entities, “high income” not only reduces aspirations—“Rich, Motivator, and Power,” but also promotes stewardship behavior—“Budget, Give/Donate, and Contribute” and appreciation of “Achievement.” After controlling income, we demonstrate the bright side of Monetary Intelligence: Low love of money motive but high stewardship behavior define Monetary Intelligence. “Good apples enjoy good quality of life in good barrels.” This notion adds another explanation to managers’ low magnitude of dishonesty in entities with high Corruption Perceptions Index. In low GDP entities, high income is related to poor Budgeting skills and escalated Happiness. These managers experience equal satisfaction with pay and life. We add a new vocabulary to the conversation of monetary intelligence, income, GDP, happiness, subjective well-being, good and bad apples and barrels, corruption, and behavioral ethics. (shrink)

Corruption involves greed, money, and risky decision-making. We explore the love of money, pay satisfaction, probability of risk, and dishonesty across cultures. Avaricious monetary aspiration breeds unethicality. Prospect theory frames decisions in the gains-losses domain and high-low probability. Pay dissatisfaction (in the losses domain) incites dishonesty in the name of justice at the individual level. The Corruption Perceptions Index, CPI, signals a high-low probability of getting caught for dishonesty at the country level. We theorize that decision-makers adopt avaricious love-of-money aspiration (...) as a lens and frame dishonesty in the gains-losses domain (pay satisfaction-dissatisfaction, Level 1) and high-low probability (CPI, Level 2) to maximize expected utility and ultimate serenity. We challenge the myth: Pay satisfaction mitigates dishonesty across nations consistently. Based on 6500 managers in 32 countries, our cross-level three-dimensional visualization offers the following discoveries. Under high aspiration conditions, pay dissatisfaction excites the highest- (third-highest) avaricious justice-seeking dishonesty in high (medium) CPI nations, supporting the certainty effect. However, pay satisfaction provokes the second-highest avaricious opportunity-seizing dishonesty in low CPI entities, sustaining the possibility effect—maximizing expected utility. Under low aspiration conditions, high pay satisfaction consistently leads to low dishonesty, demonstrating risk aversion—achieving ultimate serenity. We expand prospect theory from a micro and individual-level theory to a cross-level theory of monetary wisdom across 32 nations. We enhance the S-shaped Curve to three 3-D corruption surfaces across three levels of the global economic pyramid, providing novel insights into behavioral economics, business ethics, the environment, and responsibility. (shrink)

BackgroundPreprint usage is growing rapidly in the life sciences; however, questions remain on the relative quality of preprints when compared to published articles. An objective dimension of quality that is readily measurable is completeness of reporting, as transparency can improve the reader’s ability to independently interpret data and reproduce findings.MethodsIn this observational study, we initially compared independent samples of articles published in bioRxiv and in PubMed-indexed journals in 2016 using a quality of reporting questionnaire. After that, we performed paired comparisons (...) between preprints from bioRxiv to their own peer-reviewed versions in journals.ResultsPeer-reviewed articles had, on average, higher quality of reporting than preprints, although the difference was small, with absolute differences of 5.0% [95% CI 1.4, 8.6] and 4.7% [95% CI 2.4, 7.0] of reported items in the independent samples and paired sample comparison, respectively. There were larger differences favoring peer-reviewed articles in subjective ratings of how clearly titles and abstracts presented the main findings and how easy it was to locate relevant reporting information. Changes in reporting from preprints to peer-reviewed versions did not correlate with the impact factor of the publication venue or with the time lag from bioRxiv to journal publication.ConclusionsOur results suggest that, on average, publication in a peer-reviewed journal is associated with improvement in quality of reporting. They also show that quality of reporting in preprints in the life sciences is within a similar range as that of peer-reviewed articles, albeit slightly lower on average, supporting the idea that preprints should be considered valid scientific contributions. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

Resenha do livro de: COLLIN, McGinn, The Making ofa Philosopher: My Journey through Twentieth-Centurv Philosophy. New York: Harper Collins, 2002. 241 paginas.

Automatized scalable healthcare support solutions allow real-time 24/7 health monitoring of patients, prioritizing medical treatment according to health conditions, reducing medical appointments in clinics and hospitals, and enabling easy exchange of information among healthcare professionals. With recent health safety guidelines due to the COVID-19 pandemic, protecting the elderly has become imperative. However, state-of-the-art health wearable device platforms present limitations in hardware, parameter estimation algorithms, and software architecture. This paper proposes a complete framework for health systems composed of multi-sensor wearable health (...) devices, high-resolution parameter estimation, and real-time monitoring applications. The framework is appropriate for real-time monitoring of elderly patients' health without physical contact with healthcare professionals, maintaining safety standards. The hardware includes sensors for monitoring steps, pulse oximetry, heart rate, and temperature using low-power wireless communication. In terms of parameter estimation, the embedded circuit uses high-resolution signal processing algorithms that result in an improved measure of the HR. The proposed high-resolution signal processing-based approach outperforms state-of-the-art HR estimation measurements using the photoplethysmography sensor. (shrink)